Nuprl Lemma : lt_to_le_rw
13,42
postcript
pdf
i
,
j
:
. {(
i
<
j
)
((
i
+1)
j
)}
latex
Up
int
2
,
int
2
Definitions
{
T
}
Lemmas
lt
to
le
origin
i, j:
. {(i < j) 
((i+1) 
j)} i, j:. {(i < j) ((i+1) j)}